翻訳と辞書
Words near each other
・ System safety
・ System Safety Monitor
・ System sales
・ System sequence diagram
・ System Service Descriptor Table
・ System Service Processor
・ System Shock
・ System Shock (band)
・ System Shock (novel)
・ System Shock 2
・ System Simulation
・ System size expansion
・ System software
・ System suitcase
・ System Syn
System T
・ System Tazvida
・ System Technology-i Co, Ltd
・ System testing
・ System time
・ System to Retrieve Information from Drug Evidence
・ System Two
・ System under test
・ System usability scale
・ System utility
・ System utility (system engineering)
・ System V Interface Definition
・ System V printing system
・ System virtual machine
・ System Wide Information Management


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

System T : ウィキペディア英語版
System T
In mathematics, System T can refer to:
* A theory of arithmetic in all finite types used in Gödel's Dialectica interpretation
* An axiom system of modal logic


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「System T」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.